Gernot Heiser - PDFSEARCH.IO - Document Search Engine

Gernot Heiser
Results: 93

#	Item
71	ISSUE 01 December[removed]www.nicta.com.au NICTA Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:33:39 Communication Information technology NICTA Education Gernot Heiser Defence Science and Technology Organisation Griffith University Information and communications technology Information and communication technologies in education Association of Commonwealth Universities Technology Academia
72	ISSUE 35 \| DECEMBER[removed]INSIDE CommunicAsia eGov Cluster showcase Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:54 Higher education Gernot Heiser Education L4 microkernel family Griffith University University of New South Wales University of Sydney University of Melbourne Formal verification Association of Commonwealth Universities NICTA Academia
73	ISSUE 37 \| JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:56 Red Lizard Software Formal verification Academia Research University of New South Wales Applied mathematics Open Kernel Labs NICTA Gernot Heiser L4 microkernel family
74	Academy of Motion Picture Award Chris Cooper Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:55 NICTA Gernot Heiser Dante L4 microkernel family International Conference on Computer Vision Future Internet Information and communication technologies in education Armadillo Formal verification Software Science Computing
75	ISSUE 39 \| DECEMBER[removed]INSIDE Incoming Media secures funding Digital Canberra Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 NICTA Gernot Heiser RMIT University L4 microkernel family University of Melbourne University of New South Wales Analytics Association of Commonwealth Universities Academia Education
76	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
77	ISSUE 34 \| JUNE[removed]INSIDE Come in Spin-out! Machine learning a natural fit Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:54 L4 microkernel family University of New South Wales Information and communication technologies in education Computing CeBIT Formal verification Academia NICTA Technology Gernot Heiser
78	ISSUE 27 \| SEPTEMBER[removed]NICTANews INSIDE Board Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:45 Gernot Heiser Higher education Open Kernel Labs L4 microkernel family Education University of New South Wales University of Melbourne Australian National University University of Sydney Association of Commonwealth Universities NICTA Academia
79	Towards a Practical, Verified Kernel Kevin Elphinstone∗ Gerwin Klein∗ Philip Derrin Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Logic in computer science Functional languages L4 microkernel family Isabelle Microkernel Formal verification Kernel Gernot Heiser Haskell Computer architecture Computing Software
80	Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level Gernot Heiser∗ Kevin Elphinstone Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:47 Real-time operating systems Computing platforms Embedded operating systems L4 microkernel family Microkernel Monolithic kernels Gernot Heiser Kernel Mach Computer architecture Computing System software

UPDATE